Normative programs and normative mechanism design
نویسندگان
چکیده
The environment is an essential component of multi-agent systems, which is often used to coordinate the behaviour of individual agents. Recently many programming languages have been proposed to facilitate the implementation of such environments. This extended abstract is motivated by the emerging programming languages that are designed to implement environments in terms of normative concepts such as norms and sanctions. We propose a formal analysis of normative environment programs from a mechanism design perspective. By doing this we aim at relating normative environment programs to mechanism design, setting the stage for studying formal properties of these programs such as whether a set of norms implements a specific social choice function in a specific equilibria.
منابع مشابه
Using Normative Theories to Design an ITS for English Capitalisation and Punctuation
Intelligent Tutoring Systems (ITSs) are a technology for supporting teachers. They are intelligent software programs equipped with subject knowledge, a student model, and teaching ability. This paper reports on the outcome of PhD research aimed at making ITSs more robust and effective, by applying normative theories such as Bayesian probability theory and decision theory, to the design and impl...
متن کاملExternalizing Normativity in Design Reviews: Inscribing Design Values in Designed Artifacts
The design community has discussed issues of ethics and values for decades, but less attention has been paid to the question of how an ethical sensibility might be developed or taken on by design students. In this analysis, we explore how normative concerns emerge through the process of design reviews—where a developing designer’s normative infrastructure is engaged with the artifact they are d...
متن کاملNavigating Between Stealth Advocacy and Unconscious Dogmatism: The Challenge of Researching the Norms, Politics and Power of Global Health
Global health research is essentially a normative undertaking: we use it to propose policies that ought to be implemented. To arrive at a normative conclusion in a logical way requires at least one normative premise, one that cannot be derived from empirical evidence alone. But there is no widely accepted normative premise for global health, and the actors with the power to set policies may use...
متن کاملVerifying Normative Behaviour via Normative Mechanism Design
The environment is an essential component of multi-agent systems and is often used to coordinate the behaviour of individual agents. Recently many languages have been proposed to specify and implement multi-agent environments in terms of social and normative concepts. In this paper, we first introduce a formal setting of multi-agent environment which abstracts from concrete specification langua...
متن کاملThe effect of subjective normative social images of smokers on children's intentions to smoke.
This paper expands the literature on peers' influence on a youth's behaviors through the examination of the effect of subjective normative social images of smokers (perceived peers' social images of smokers) on subsequent intentions to smoke and the relation between subjective normative social images and the youth's own social images, or prototypes. Data are from the two oldest cohorts (4th and...
متن کامل